检索结果

Select

1. 基于SAT的GRANULE算法不可能差分分析

武小年, 匡晶, 张润莲, 李灵琛

《计算机应用》唯一官方网站 2024, 44 (3): 797-804. DOI: 10.11772/j.issn.1001-9081.2023040435

摘要（110）

HTML （0）

PDF （902KB）（65）

基于布尔可满足性问题（SAT）的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算，从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力，首先，基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型；其次，对GRANULE算法建立基于比特的不可能差分区分器的SAT模型，通过求解模型得到多条10轮GRANULE算法的不可能差分区分器；再次，针对不可能差分区分器，给出改进的SAT自动化验证方法并验证；最后，将得到的区分器往前和往后各扩展3轮，对GRANULE-64/80算法发起16轮的不可能差分攻击，通过该攻击可以恢复80比特主密钥，时间复杂度为2^51.8次16轮加密，数据复杂度为2^41.8个选择明文。与表现次优的对GRANULE算法不可能差分分析的方法相比，所得到的区分器轮数和密钥恢复攻击轮数都提高了3轮，且时间复杂度、数据复杂度都进一步下降。

图表 | 参考文献 | 相关文章 | 多维度评价

Select

2. 规则网格数字高程模型中基于距离与坡度的路径规划算法

张润莲, 张鑫, 张楚芸, 奚玉昂

计算机应用 2018, 38 (11): 3188-3192. DOI: 10.11772/j.issn.1001-9081.2018041340

摘要（466）

PDF （985KB）（336）

针对A ^*算法在数字高程模型（DEM）路径规划中的低效问题，提出一种基于距离与坡度的改进A ^*寻路算法。该算法面向规则网格DEM，以距离和坡度作为路径搜索评估指标，设计新的评价函数，并以地表障碍评判路径的可通行性。在寻路过程中，根据实际场景DEM数据计算相匹配的参数，使得改进算法能自适应不同场景下DEM数据分辨率的变化；采用动态权值调整完备性函数和启发性函数对评价结果的影响，优化路径选择。仿真测试结果表明，改进算法能够通过参数调整适应DEM分辨率的变化，搜索出优化的路径，降低搜索时间，提高搜索效率。

参考文献 | 相关文章 | 多维度评价

Select

3. 基于信任约束的用户安全管理

张润莲武小年

计算机应用 2010, 30 (9): 2383-2385.

摘要（1377）

PDF （707KB）（997）

在开放的网格环境中，用户行为的动态性和不确定性，使得现有的基于证书的静态用户管理难以及时地将用户的恶意行为进行标识并对用户后续行为进行控制。针对该问题，提出一种基于信任约束的用户安全管理方法。该方法基于对用户信任计算的结果，根据用户信任等级的变化，建立用户信任黑名单和白名单；并基于用户信任等级与资产价值之间的关系，建立一种信任策略。实验结果表明，该方法建立的用户信任黑名单、白名单和信任策略，作为访问控制机制的一种动态信任约束，加强了对系统授权的约束，使得用户能够获得的访问能力与其历史行为相关联，加强了对用户行为的控制，提高系统安全。